Maryse Condé, une voix des Antilles

Caractérisation des paramètres d'Arthur‎, ‎une remarque

‎In The endoscopic classification of representations‎‎, ‎J‎. ‎Arthur has proved the Langlands' classification for discrete series of p-adic classical groups‎. ‎This uses endoscopy and twisted endoscopy‎. ‎In this very short note‎, ‎we remark that the normalization ‎$‎rm‎grave{a}‎$‎ la Langlands-Shahidi of the intertwining operators‎, ‎allows to avoid endoscopy‎. ‎This is based on the intertwini...

Une Théorie des Constructions Inductives

Une Extension des Langages Déterministes

— In this article, we define afamily of context free languages, the quasi deterministic languages, which is strictly inserted between the families of deterministic and non ambiguous context free languages. The family is closed under complement, intersection with a rational set, inverse homomorphism... On the contrary, it is not closed under mirror image but the languages the mirror image of whi...

Une approche qualitative spatiale pour une description sémantique des reliefs

Vers une modélisation et une analyse des exigences spatio-temporelles

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for ...